A Model-Based System Supporting Automatic Self-Regeneration of Critical Software
نویسندگان
چکیده
• Why software fails: – Software assumptions about the environment become invalid because of changes in the environment. – Software is attacked by a hostile agent. – Software changes introduce incompatibilities. • What can be done when software fails: – Recognize that a failure has occurred. – Diagnose what has failed – and why. – Find an alternative way of achieving the intended behavior. Ru nti me Mo de ls
منابع مشابه
An automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملPattern of Decision-Making Evaluation in Urban Regeneration
Evaluation is one of the most important necessities in the process of urban regeneration, which leads to the optimal decision to solve the problem of urban inefficiency. Evaluating decisions in the urban regeneration process, given its complexity, ambiguity and uncertainty, is a critical issue that requires identifying the criteria that affect its realization and using fuzzy decision-making met...
متن کاملThe Effectiveness of Critical Thinking Education Based on the Powell-Elder Model on Improving Cognitive and Self-efficacy Disorders in Teens
Objectives: The purpose of this study was to evaluate the effectiveness of teaching critical thinking based on the Powell-Elder model on improving the cognitive and self-efficacy of teens in Tehran. Method: The research method was an applied and experimental type (post-test pre-test with control group). The statistical population consisted of all adolescents aged 13 to 16 years old in District...
متن کاملEffectiveness of mindfulness-based cognitive therapy on negative automatic thoughts, self-criticism and rumination in students experiencing emotional failure
Introduction: Emotional failure is one of the most painful problems that can occur to anyone during an emotional relationship. The aim of this study was to evaluate the effectiveness of mindfulness-based cognitive therapy on negative automatic thoughts, self-criticism and rumination in students experiencing emotional failure. Methods: In order to conduct this study, 30 students from all under...
متن کاملImproving the Resilience of Military Hospitals Through Self-Adaptation of Hospital Systems Using Organic Computing
Background and Aim: Among the failures of a disaster, the disruption of the critical infrastructure of the community causes the most damage to society. Therefore, the ability of critical infrastructure such as hospitals to anticipate, absorb, adapt or rapidly recover from a devastating event is essential. The purpose of this study is to design a self-adaptive model for resilient hospital system...
متن کامل